Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:
Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT
Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:
- πώς χρησιμοποιείται η λέξη
- συχνότητα χρήσης
- χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
- επιλογές μετάφρασης λέξεων
- παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
- ετυμολογία
Τι (ποιος) είναι Guarded horn clauses - ορισμός
CLAUSE (A DISJUNCTION OF LITERALS) WITH AT MOST ONE POSITIVE, I.E. UNNEGATED, LITERAL
Horn logic; Definite clause; Horn sentence; Horn clauses; Dual-Horn clause; Horn formula; Universal Horn theory; Horn Logic
Guarded Horn Clauses
<language> (GHC) A parallel dialect of Prolog by K. Ueda in
which each clause has a guard. GHC is similar to
Parlog. When several clauses match a goal, their guards
are evaluated in parallel and the first clause whose guard is
found to be true is used and others are rejected. It uses
committed-choice nondeterminism.
See also FGHC, KL1.
(1995-05-09)
definite clause
<logic> A Horn clause that has exactly one {positive
literal}.
(2000-01-24)
Horn clause
<logic> A set of atomic literals with at most one {positive
literal}. Usually written
L < - L1, ..., Ln
or
< - L1, ..., Ln
where n >= 0, " < - " means "is implied by" and comma stands for
conjuction ("AND"). If L is false the clause is regarded as
a goal. Horn clauses can express a subset of statements of
first order logic.
The name "Horn Clause" comes from the logician Alfred Horn,
who first pointed out the significance of such clauses in
1951, in the article "On sentences which are true of direct
unions of algebras", Journal of Symbolic Logic, 16, 14-21.
A definite clause is a Horn clause that has exactly one
positive literal.
(2000-01-24)
Βικιπαίδεια
Horn clause
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.
